\documentclass{article}
\usepackage{amssymb,amsmath,amscd,concmath}
\pagestyle{empty}
\begin{document}
\begin{equation*}\exists(x,y | x\neq~y \and x~is~b and y~is~b) \or \forall(x,y | x\neq~y \implies x~is~not~b \or y~is~not~b)\end{equation*}
\end{document}
